$\forall$$a$, $b$:$\mathbb{Z}$, $n$:$\mathbb{N}^{+}$. ($a$ $<$ $b$) $\Rightarrow$ (($n$ $\ast$ $a$) $<$ ($n$ $\ast$ $b$))